Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

474 474 53 1054 0 0 0 0 0

N.S.

1 1.00 0.11 2.22 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.284 10.022 2.170 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

497 497 48 1083 0 24 0 0 0

N.S.

1 1.00 0.10 2.18 0.00 0.05 0.00 0.00 0.00

time (sec)

N/A 0.351 10.017 2.368 0.000 0.075 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 113 151 0 0 182 109 0

N.S.

1 1.00 0.65 0.87 0.00 0.00 1.05 0.63 0.00

time (sec)

N/A 0.113 0.333 2.215 0.000 0.000 0.422 0.325 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 89 99 0 0 153 81 0

N.S.

1 1.00 0.77 0.85 0.00 0.00 1.32 0.70 0.00

time (sec)

N/A 0.073 0.262 2.207 0.000 0.000 0.329 0.324 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 62 50 0 0 119 52 72

N.S.

1 1.00 1.11 0.89 0.00 0.00 2.12 0.93 1.29

time (sec)

N/A 0.038 0.190 2.156 0.000 0.000 0.278 0.324 11.133

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 0 19 0 25 0

N.S.

1 1.00 1.00 0.80 0.00 0.76 0.00 1.00 0.00

time (sec)

N/A 0.025 0.122 2.220 0.000 0.320 0.000 0.301 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 48 67 0 42 0 84 0

N.S.

1 1.00 0.57 0.80 0.00 0.50 0.00 1.00 0.00

time (sec)

N/A 0.071 0.144 2.225 0.000 0.314 0.000 0.299 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 72 119 0 64 0 146 0

N.S.

1 1.00 0.51 0.84 0.00 0.45 0.00 1.03 0.00

time (sec)

N/A 0.125 0.152 2.219 0.000 0.333 0.000 0.307 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 96 171 0 86 0 208 0

N.S.

1 1.00 0.48 0.86 0.00 0.43 0.00 1.04 0.00

time (sec)

N/A 0.206 0.201 2.195 0.000 0.342 0.000 0.294 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 197 137 227 0 0 0 148 0

N.S.

1 1.00 0.70 1.15 0.00 0.00 0.00 0.75 0.00

time (sec)

N/A 0.123 0.650 2.191 0.000 0.000 0.000 0.345 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 113 175 0 0 0 120 0

N.S.

1 1.00 0.81 1.26 0.00 0.00 0.00 0.86 0.00

time (sec)

N/A 0.086 0.499 2.155 0.000 0.000 0.000 0.339 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 84 124 0 0 0 92 0

N.S.

1 1.00 1.09 1.61 0.00 0.00 0.00 1.19 0.00

time (sec)

N/A 0.050 0.319 2.292 0.000 0.000 0.000 0.327 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 31 45 0 36 0 34 40

N.S.

1 1.00 1.24 1.80 0.00 1.44 0.00 1.36 1.60

time (sec)

N/A 0.004 0.191 2.291 0.000 0.506 0.000 0.285 9.488

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 55 46 0 63 0 0 0

N.S.

1 1.00 0.70 0.58 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.074 0.232 2.232 0.000 0.945 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 81 98 0 87 0 0 0

N.S.

1 1.00 0.59 0.72 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.127 0.253 2.183 0.000 0.315 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 105 150 0 109 0 0 0

N.S.

1 1.00 0.54 0.77 0.00 0.56 0.00 0.00 0.00

time (sec)

N/A 0.186 0.255 2.185 0.000 0.314 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 126 177 0 0 199 123 0

N.S.

1 1.00 0.62 0.87 0.00 0.00 0.98 0.60 0.00

time (sec)

N/A 0.124 0.349 2.180 0.000 0.000 1.605 0.332 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 102 125 0 0 170 95 0

N.S.

1 1.00 0.70 0.86 0.00 0.00 1.16 0.65 0.00

time (sec)

N/A 0.084 0.308 2.284 0.000 0.000 0.487 0.335 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 80 74 0 0 143 67 0

N.S.

1 1.00 0.92 0.85 0.00 0.00 1.64 0.77 0.00

time (sec)

N/A 0.055 0.258 2.410 0.000 0.000 0.326 0.332 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 40 32 0 0 99 35 0

N.S.

1 1.00 1.18 0.94 0.00 0.00 2.91 1.03 0.00

time (sec)

N/A 0.034 0.150 2.158 0.000 0.000 0.398 0.339 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 35 41 0 29 0 53 0

N.S.

1 1.00 0.65 0.76 0.00 0.54 0.00 0.98 0.00

time (sec)

N/A 0.055 0.151 2.133 0.000 0.442 0.000 0.288 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 59 93 0 50 0 115 0

N.S.

1 1.00 0.53 0.83 0.00 0.45 0.00 1.03 0.00

time (sec)

N/A 0.100 0.177 2.133 0.000 0.345 0.000 0.312 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 83 145 0 72 0 177 0

N.S.

1 1.00 0.49 0.85 0.00 0.42 0.00 1.04 0.00

time (sec)

N/A 0.152 0.192 2.159 0.000 0.368 0.000 0.300 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 124 201 0 0 0 134 0

N.S.

1 1.00 0.73 1.18 0.00 0.00 0.00 0.78 0.00

time (sec)

N/A 0.101 0.584 2.138 0.000 0.000 0.000 0.344 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 100 148 0 0 0 106 0

N.S.

1 1.00 0.88 1.31 0.00 0.00 0.00 0.94 0.00

time (sec)

N/A 0.074 0.451 2.141 0.000 0.000 0.000 0.356 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 72 101 0 0 0 71 0

N.S.

1 1.00 1.20 1.68 0.00 0.00 0.00 1.18 0.00

time (sec)

N/A 0.045 0.277 2.136 0.000 0.000 0.000 0.365 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 46 25 0 54 0 26 0

N.S.

1 1.00 1.53 0.83 0.00 1.80 0.00 0.87 0.00

time (sec)

N/A 0.032 0.224 2.184 0.000 0.459 0.000 0.289 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 70 72 0 79 0 0 0

N.S.

1 1.00 0.65 0.67 0.00 0.74 0.00 0.00 0.00

time (sec)

N/A 0.101 0.251 2.166 0.000 0.492 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 96 124 0 101 0 0 0

N.S.

1 1.00 0.58 0.75 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.159 0.275 2.174 0.000 0.459 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 120 176 0 123 0 0 0

N.S.

1 1.00 0.54 0.79 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 0.217 0.290 2.214 0.000 0.423 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 301 155 264 0 0 0 0 0

N.S.

1 1.00 0.51 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 10.191 2.062 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 411 136 273 0 0 0 0 0

N.S.

1 1.00 0.33 0.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.367 10.149 2.096 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 213 118 198 0 0 0 0 0

N.S.

1 1.00 0.55 0.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.191 10.119 2.078 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

323 323 94 207 0 0 0 0 40

N.S.

1 1.00 0.29 0.64 0.00 0.00 0.00 0.00 0.12

time (sec)

N/A 0.215 10.062 2.035 0.000 0.000 0.000 0.000 9.151

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 54 132 0 0 0 0 0

N.S.

1 1.00 0.44 1.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.093 10.048 2.046 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 325 59 213 0 0 0 0 0

N.S.

1 1.00 0.18 0.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.238 10.051 1.982 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 59 179 0 0 0 0 0

N.S.

1 1.00 0.31 0.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.161 10.053 2.093 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

413 413 59 281 0 0 0 0 0

N.S.

1 1.00 0.14 0.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.377 10.053 2.079 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 276 59 245 0 0 0 0 0

N.S.

1 1.00 0.21 0.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 10.055 2.370 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 142 196 0 0 0 0 0

N.S.

1 1.00 0.48 0.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 10.176 3.363 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

408 408 123 261 0 0 0 0 0

N.S.

1 1.00 0.30 0.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.355 10.151 2.222 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 208 106 163 0 0 0 0 40

N.S.

1 1.00 0.51 0.78 0.00 0.00 0.00 0.00 0.19

time (sec)

N/A 0.172 10.100 2.043 0.000 0.000 0.000 0.000 9.089

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 319 60 205 0 0 0 0 0

N.S.

1 1.00 0.19 0.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.222 10.053 2.051 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 60 130 0 0 0 0 0

N.S.

1 1.00 0.42 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.125 10.057 1.996 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

350 350 62 235 0 0 0 0 0

N.S.

1 1.00 0.18 0.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.265 10.054 2.018 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 213 62 168 0 0 0 0 0

N.S.

1 1.00 0.29 0.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.188 10.060 3.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

438 438 62 301 0 0 0 0 0

N.S.

1 1.00 0.14 0.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.413 10.056 4.563 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 301 62 201 0 0 0 0 0

N.S.

1 1.00 0.21 0.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 10.065 5.863 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

304 304 161 196 0 0 0 0 0

N.S.

1 1.00 0.53 0.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 10.107 5.022 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

414 414 143 261 0 0 0 0 0

N.S.

1 1.00 0.35 0.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.388 10.087 3.283 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 124 163 0 0 0 0 0

N.S.

1 1.00 0.57 0.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.231 10.076 2.109 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

326 326 106 210 0 0 0 0 0

N.S.

1 1.00 0.33 0.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.251 10.069 1.996 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 80 127 0 0 0 0 40

N.S.

1 1.00 0.63 1.01 0.00 0.00 0.00 0.00 0.32

time (sec)

N/A 0.090 10.043 2.011 0.000 0.000 0.000 0.000 9.264

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 294 54 195 0 0 0 0 0

N.S.

1 1.00 0.18 0.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.213 10.052 2.002 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 59 142 0 0 0 0 0

N.S.

1 1.00 0.36 0.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.135 10.048 2.022 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

388 388 59 262 0 0 0 0 0

N.S.

1 1.00 0.15 0.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 10.053 3.265 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 251 59 179 0 0 0 0 0

N.S.

1 1.00 0.24 0.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.228 10.049 5.210 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

437 437 131 303 0 0 0 0 0

N.S.

1 1.00 0.30 0.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.428 10.125 4.530 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 239 119 228 0 0 0 0 0

N.S.

1 1.00 0.50 0.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.248 10.095 3.109 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

349 349 94 237 0 0 0 0 0

N.S.

1 1.00 0.27 0.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.292 10.088 2.148 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 82 160 0 0 0 0 0

N.S.

1 1.00 0.55 1.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.130 10.074 2.075 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 296 62 197 0 0 0 0 40

N.S.

1 1.00 0.21 0.67 0.00 0.00 0.00 0.00 0.14

time (sec)

N/A 0.182 10.033 2.031 0.000 0.000 0.000 0.000 9.284

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 62 162 0 0 0 0 0

N.S.

1 1.00 0.39 1.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.141 10.065 2.076 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

383 383 64 267 0 0 0 0 0

N.S.

1 1.00 0.17 0.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.331 10.061 3.246 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 246 64 231 0 0 0 0 0

N.S.

1 1.00 0.26 0.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.249 10.059 5.330 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

471 471 64 333 0 0 0 0 0

N.S.

1 1.00 0.14 0.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.469 10.057 6.066 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

371 371 185 156 0 1293 0 396 0

N.S.

1 1.00 0.50 0.42 0.00 3.49 0.00 1.07 0.00

time (sec)

N/A 0.417 0.179 2.084 0.000 179.802 0.000 0.299 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 283 133 123 0 1031 0 312 0

N.S.

1 1.00 0.47 0.43 0.00 3.64 0.00 1.10 0.00

time (sec)

N/A 0.290 0.147 2.072 0.000 150.030 0.000 0.297 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 96 90 0 767 0 228 0

N.S.

1 1.00 0.49 0.46 0.00 3.93 0.00 1.17 0.00

time (sec)

N/A 0.178 0.109 2.037 0.000 147.950 0.000 0.297 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 74 57 0 501 0 143 40

N.S.

1 1.00 0.68 0.52 0.00 4.60 0.00 1.31 0.37

time (sec)

N/A 0.093 0.073 2.065 0.000 162.933 0.000 0.292 11.743

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 27 0 224 0 23 0

N.S.

1 1.00 1.00 1.17 0.00 9.74 0.00 1.00 0.00

time (sec)

N/A 0.026 0.063 2.051 0.000 170.839 0.000 0.275 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 76 79 0 0 0 72 0

N.S.

1 1.00 0.84 0.88 0.00 0.00 0.00 0.80 0.00

time (sec)

N/A 0.094 0.257 2.054 0.000 0.000 0.000 0.314 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 112 125 0 0 0 126 0

N.S.

1 1.00 0.63 0.70 0.00 0.00 0.00 0.71 0.00

time (sec)

N/A 0.191 0.340 2.029 0.000 0.000 0.000 0.324 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 149 167 0 0 0 177 0

N.S.

1 1.00 0.56 0.63 0.00 0.00 0.00 0.67 0.00

time (sec)

N/A 0.302 0.422 2.011 0.000 0.000 0.000 0.369 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

354 354 186 209 0 0 0 228 0

N.S.

1 1.00 0.53 0.59 0.00 0.00 0.00 0.64 0.00

time (sec)

N/A 0.416 0.506 2.098 0.000 0.000 0.000 0.377 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 343 168 145 0 1293 0 770 0

N.S.

1 1.00 0.49 0.42 0.00 3.77 0.00 2.24 0.00

time (sec)

N/A 0.396 6.333 2.034 0.000 199.502 0.000 0.310 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 131 112 0 1031 0 602 0

N.S.

1 1.00 0.51 0.44 0.00 4.04 0.00 2.36 0.00

time (sec)

N/A 0.258 6.254 2.015 0.000 144.930 0.000 0.317 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 94 79 0 768 0 434 40

N.S.

1 1.00 0.56 0.47 0.00 4.54 0.00 2.57 0.24

time (sec)

N/A 0.166 6.208 2.088 0.000 153.105 0.000 0.311 10.894

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 59 48 0 501 0 265 0

N.S.

1 1.00 0.70 0.57 0.00 5.96 0.00 3.15 0.00

time (sec)

N/A 0.092 6.227 2.048 0.000 175.324 0.000 0.305 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 88 67 0 0 0 83 0

N.S.

1 1.00 1.13 0.86 0.00 0.00 0.00 1.06 0.00

time (sec)

N/A 0.090 10.118 2.050 0.000 0.000 0.000 0.305 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 61 93 0 0 0 92 0

N.S.

1 1.00 0.54 0.82 0.00 0.00 0.00 0.81 0.00

time (sec)

N/A 0.119 10.070 1.749 0.000 0.000 0.000 0.311 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 61 139 0 0 0 143 0

N.S.

1 1.00 0.30 0.68 0.00 0.00 0.00 0.70 0.00

time (sec)

N/A 0.217 10.068 1.797 0.000 0.000 0.000 0.332 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 291 61 181 0 0 0 194 0

N.S.

1 1.00 0.21 0.62 0.00 0.00 0.00 0.67 0.00

time (sec)

N/A 0.331 10.074 1.846 0.000 0.000 0.000 0.540 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

379 379 61 223 0 0 0 245 0

N.S.

1 1.00 0.16 0.59 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 0.469 10.079 1.882 0.000 0.000 0.000 0.488 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

401 401 185 167 0 1294 0 206 0

N.S.

1 1.00 0.46 0.42 0.00 3.23 0.00 0.51 0.00

time (sec)

N/A 0.474 0.193 2.068 0.000 148.429 0.000 0.654 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 313 148 134 0 1031 0 164 0

N.S.

1 1.00 0.47 0.43 0.00 3.29 0.00 0.52 0.00

time (sec)

N/A 0.340 0.150 1.765 0.000 176.923 0.000 0.279 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 111 101 0 768 0 122 0

N.S.

1 1.00 0.49 0.45 0.00 3.41 0.00 0.54 0.00

time (sec)

N/A 0.234 0.129 2.077 0.000 180.269 0.000 0.292 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 74 68 0 502 0 80 0

N.S.

1 1.00 0.54 0.50 0.00 3.66 0.00 0.58 0.00

time (sec)

N/A 0.126 0.086 1.790 0.000 170.471 0.000 0.289 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 36 36 0 238 0 36 40

N.S.

1 1.00 0.77 0.77 0.00 5.06 0.00 0.77 0.85

time (sec)

N/A 0.034 0.057 1.793 0.000 138.458 0.000 0.283 9.364

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 61 0 0 0 51 0

N.S.

1 1.00 1.00 1.00 0.00 0.00 0.00 0.84 0.00

time (sec)

N/A 0.066 0.183 1.809 0.000 0.000 0.000 0.300 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 101 123 0 0 0 109 0

N.S.

1 1.00 0.66 0.80 0.00 0.00 0.00 0.71 0.00

time (sec)

N/A 0.155 0.270 2.078 0.000 0.000 0.000 0.329 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 241 138 183 0 0 0 160 0

N.S.

1 1.00 0.57 0.76 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.265 0.333 2.183 0.000 0.000 0.000 0.326 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 329 175 243 0 0 0 211 0

N.S.

1 1.00 0.53 0.74 0.00 0.00 0.00 0.64 0.00

time (sec)

N/A 0.369 0.400 10.475 0.000 0.000 0.000 0.354 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

336 336 161 143 0 2566 0 214 0

N.S.

1 1.00 0.48 0.43 0.00 7.64 0.00 0.64 0.00

time (sec)

N/A 0.374 5.592 1.924 0.000 142.885 0.000 0.313 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 122 110 0 2083 0 163 0

N.S.

1 1.00 0.49 0.44 0.00 8.40 0.00 0.66 0.00

time (sec)

N/A 0.273 5.482 2.757 0.000 123.024 0.000 0.296 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 85 77 0 1598 0 112 0

N.S.

1 1.00 0.53 0.48 0.00 9.99 0.00 0.70 0.00

time (sec)

N/A 0.165 5.689 1.997 0.000 125.662 0.000 0.291 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 45 45 0 1107 0 60 0

N.S.

1 1.00 0.66 0.66 0.00 16.28 0.00 0.88 0.00

time (sec)

N/A 0.057 5.494 1.837 0.000 123.329 0.000 0.289 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 71 56 0 0 0 71 40

N.S.

1 1.00 1.18 0.93 0.00 0.00 0.00 1.18 0.67

time (sec)

N/A 0.037 2.186 2.286 0.000 0.000 0.000 0.286 9.343

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 110 88 0 0 0 105 0

N.S.

1 1.00 0.75 0.60 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 0.159 5.698 1.787 0.000 0.000 0.000 0.314 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 236 48 126 0 0 0 156 0

N.S.

1 1.00 0.20 0.53 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.256 10.092 2.033 0.000 0.000 0.000 0.329 0.000